A key technique for building effective modular architecture is Scenario Modeling where a set of sequence charts is constructed, each one focusing on a single system-level execution scenario.
2.
He has also contributed to research on Message Sequence Charts ( MSC ), where it was shown that weak realizability is undecidable for bounded MSC-graphs and that safe-realizability is in EXPSPACE, along with other interesting results related to the verification of MSC-graphs.
मोबाइल